1. Theories for admissible sets :
پدیدآورنده : Gerhard Jäger
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Admissible sets,Definability theory (Mathematical logic),Proof theory
2. Theories for admissible sets : a unifying approach to proof theory
پدیدآورنده : Jager, Gerhard
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Admissible sets
رده :
QA
9
.
54
.
J34
1986
